Software Development Security - PDFSEARCH.IO - Document Search Engine

Software Development Security
Results: 957

#	Item
931	Computer-Aided Support for Secure Tropos Fabio Massacci ([removed]), John Mylopoulos ([removed]) and Nicola Zannone ([removed]) Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2007-10-30 20:05:49 Scientific modeling I* Software development methodology Modeling language Security engineering Scientific modelling Software development Software Software requirements
932	UNIVERSITY OF TRENTO DEPARTMENT OF INFORMATION AND COMMUNICATION TECHNOLOGY Add to Reading List Source URL: eprints.biblio.unitn.it Language: English - Date: 2012-02-28 09:18:56 Software development John Rusnak First Maryland Bancorp Computer security Actor model Service-oriented architecture Software development methodology Allied Irish Banks Business Computing
933	Application of Lightweight Formal Methods to Software Security David P. Gilliam,* John D. Powell,* and Matt Bishop** Jet Propulsion Laboratory, California Institute of Technology Add to Reading List Source URL: nob.cs.ucdavis.edu Language: English* - Date: 2013-03-12 20:41:50 Computing Logic in computer science Software testing Software quality Formal verification Theoretical computer science Model checking Verification and validation Component-based software engineering Formal methods Software engineering Software development
934	McMaster University Software Aging Add to Reading List Source URL: imps.mcmaster.ca Language: English - Date: 2012-03-27 15:38:40 Software licenses Software development Computing Software quality Software security assurance Software aging Software engineering Software
935	Add to Reading List Source URL: www.westcoastlabs.com Language: English - Date: 2012-03-30 04:28:50 Malware Mobile security Symbian Windows Mobile Mobile application development Mobile operating system Opera Mobile apps Android Software Computing Smartphones
936	Proactive Security Challenge 64 Testing Report Add to Reading List Source URL: www.matousec.com Language: English - Date: 2013-08-29 12:06:55 Education Outpost Firewall Pro Shareware Agnitum General Educational Development Software testing Software Antivirus software
937	Linux Kernel Development How Fast it is Going, Who is Doing It, What They are Doing, and Who is Sponsoring It Add to Reading List Source URL: www.linuxfoundation.org Language: English - Date: 2008-04-03 16:40:53 Cross-platform software Linux kernel SUSE Linux distributions Ingo Molnár MontaVista Kernel GNU Debian Linux Security Modules Computer architecture Software Linux
938	Proactive Security Challenge 64 Testing Report Add to Reading List Source URL: www.matousec.com Language: English - Date: 2013-08-29 12:06:06 Computer security Education Comodo Group General Educational Development Software Matousec Software testing Antivirus software Comodo Internet Security
939	Total Creation of a Software Project Correctness by Construction: Add to Reading List Source URL: www.crosstalkonline.org Language: English - Date: 2010-11-04 23:58:58 Software development process Software engineering Formal methods Systems engineering Personal Software Process Software testing Computer security Source lines of code Reliability engineering Software development Computing Software
940	PDF Document Add to Reading List Source URL: win.ua.ac.be Language: English - Date: 2009-03-17 04:36:11 Software development Systems engineering Computer security Patent law Reverse engineering Software maintenance Engineering Reengineering Software development process Software engineering Technology Business